#include <firmware/chibios/os/hal/platforms/STM32L1xx/stm32l1xx.h>
Reload value to use for 10ms timing